101. <An> outline of set theory
پدیدآورنده : James M. Henle
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Set theory,Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
102. An outline of set theory
پدیدآورنده : James M. Henle.
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Set theory,Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
103. An outline of set theory
پدیدآورنده : Henle, James M.
کتابخانه: Central library and information center (Khorasan Razavi)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
104. An outline of set theory
پدیدآورنده : Henle, James M.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
105. Aspects of mathematical logic
پدیدآورنده : / edited by E. Casari
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Logic, Symbolic and mathematical, Congresses,Mathematics, Philosophy, Congresses
رده :
QA9
.
A1C56
2010
106. Automata, logics, and infinite games
پدیدآورنده : Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
L28
Vol
.
2500
107. Automata, logics, and infinite games
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;
108. Automata, logics, and infinite games
پدیدآورنده : Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
9
.
M35
A85
2002
109. Automated deduction in geometr
پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
111. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
112. Basic concepts of mathematics and logic
پدیدآورنده : / [by] Michael C. Gemignani
کتابخانه: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
موضوع :
رده :
QA39
،.
G46
113. Basic concepts of mathematics and logic
پدیدآورنده : Gemignani, Michael C
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
39
.
G38
114. Basic concepts of mathematics and logic
پدیدآورنده : / Michael C. Gemignani
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Mathematics,Logic, symbolic and mathematical
رده :
QA39
.
G38
115. Basice concepts of mathematics and logic
پدیدآورنده : Gemignani,Michel C
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
39
.
G38
116. Bertrand Russell and Origins of the origins of the set-theroeti 'paradoxes'
پدیدآورنده : Garciadiego Dantan, Alejandro Ricardo.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Paradoxes,، Russell, Bertrand, 2781-0791. Principles of mathematics
رده :
QA
9
.
G2413
1992
117. Bertrand Russell and the origins of the set-theoretic 'Paradoxes'
پدیدآورنده : Garciadiego Dantan, Alejandro Ricardo
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Paradox,، Russell, Bertrand, 2781-0791. Principles of mathematics
رده :
QA
9
.
G29
118. Bertrand Russell and the origins of the set-theoretic 'paradoxes'
پدیدآورنده : / Alejandro R. Garciadiego
کتابخانه: Ilam University Central Library (Ilam)
موضوع : Logic, Symbolic and mathematical,Set theory,Paradox,Russell, Bertrand,- 1872-1970- Principles of mathematics
رده :
QA9
.
G2413
1992
119. Bertrand Russell and the origins of the set-theoretic 'paradoxes',Bertrand Russell y los origenes de las paradojas de lateoria de conjuntos. English
پدیدآورنده : Garciadiego Dantan, Alejandro Ricardo
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Paradox,، Russell, Bertrand, 2781-0791 Principles of mathematics
رده :
QA
9
.
G2413
1992
120. Bibliography of mathematical logic
پدیدآورنده :
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Logic,Symbolic and mathematical-Bibliography
رده :
016
.
5113
R